Sfoglia per Rivista THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Relating two automata-based models of orchestration and choreography
2016-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, Luigi; Tuosto, E
SOS rule formats for idempotent terms and idempotent unary operators
2014-01-01 Aceto, L; Ingólfsdóttir, A; Goriac, E
A unified rule format for bounded nondeterminism in SOS with terms as labels
2017-01-01 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A
Verifiable abstractions for contract-oriented systems
2017-01-01 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Relating two automata-based models of orchestration and choreography | 1-gen-2016 | Basile, Davide; Degano, Pierpaolo; Ferrari, Luigi; Tuosto, E | |
SOS rule formats for idempotent terms and idempotent unary operators | 1-gen-2014 | Aceto, L; Ingólfsdóttir, A; Goriac, E | |
A unified rule format for bounded nondeterminism in SOS with terms as labels | 1-gen-2017 | Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A | |
Verifiable abstractions for contract-oriented systems | 1-gen-2017 | Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile